geological, mining, and metallurgical institute - Alemán Inglés Diccionario